Nuprl Definition : int_seg
9,38
postcript
pdf
{
i
..
j
} == {
k
:
|
i
k
<
j
}
latex
Definitions
{
x
:
A
|
B
(
x
)}
,
,
i
j
<
k
FDL editor aliases
int_seg
origin
} == {k:
| i 
k < j} } == {k:| i k < j} j < k